ra >>= k = Reader (\e -> ...)